Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
721	Review COMS W4115 Prof. Stephen A. Edwards Spring 2002 Columbia University Department of Computer Science Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-04-30 14:12:40 Formal languages Parser generators Parsing ANTLR International Securities Identification Number Regular expression ALGOL 68 Lexical analysis Flex lexical analyser Software engineering Programming language implementation Computing
722	DATA VISUALIZATION FOR EVERYONE The beginner’s guide to analyzing your data like a pro. DATA VISUALIZATION FOR Add to Reading List Source URL: datahero.com Language: English - Date: 2015-04-06 17:01:02 Infographics Data analysis Formal sciences Scientific method Visualization Data visualization Analytics Social network analysis software Data driven journalism Science Business intelligence Knowledge
723	Transforming Research into Practice \| 2014 ATSA Conference Thursday October 30\| 10:30 AM - 12:00 PM T-8 Innovations in the Science of Risk Prediction Add to Reading List Source URL: www.atsa.com Language: English - Date: 2014-06-12 13:08:21 Criminology Crime Data analysis Data mining Sex offender Logistic regression Machine learning Recidivism Association for the Treatment of Sexual Abusers Statistics Sex crimes Formal sciences
724	Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3 Add to Reading List Source URL: cedric.cnam.fr Language: English - Date: 2011-02-13 18:15:50 Applied mathematics Automated theorem proving Formal languages Logic in computer science Computability theory Termination analysis Mathematical proof Rewriting Heuristic Theoretical computer science Mathematics Mathematical logic
725	Discovering Shared Conceptualizations in Folksonomies Robert J¨aschke a,b , Andreas Hotho a , Christoph Schmitz a , Bernhard Ganter c , Gerd Stumme a,b a Knowledge & Data Engineering Group, University of Kassel Wilhelms Add to Reading List Source URL: www.kde.cs.uni-kassel.de Language: English - Date: 2011-01-27 05:59:31 Semantic Web Social bookmarking Knowledge representation Web 2.0 Association rule learning Apriori algorithm Formal concept analysis Folksonomy Binary relation Data mining Information Mathematics
726	Improving Data Mining with New Hybrid Methods Dan Steinberg N. Scott Cardell Add to Reading List Source URL: media.salford-systems.com Language: English - Date: 2013-07-26 03:41:48 Regression analysis Formal sciences Decision trees Data analysis Data mining Statistical classification Neural network Logistic regression CHAID Statistics Machine learning Computational statistics
727	Business Intelligence and Data Mining ISOM 3360: Fall 2013 Professor Contact Office Hours Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2013-11-20 19:32:19 Formal sciences Data management Data mining Weka SAS Analytics Data visualization Association rule learning Statistics Data analysis Business intelligence
728	Business Intelligence and Data Mining ISOM 3360: Spring 2014 Instructor Contact Office Hours Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2014-02-05 20:01:14 Business intelligence Formal sciences Data management Data mining Weka SAS Analytics Data visualization Association rule learning Statistics Data analysis Science
729	Data Mining Dr. Saed Sayad University of Toronto[removed]removed] Add to Reading List Source URL: chem-eng.utoronto.ca Language: English - Date: 2010-01-09 15:04:49 Data mining Data analysis Formal sciences Science
730	CONTENTS INTRODUCTION xxi Add to Reading List Source URL: media.wiley.com Language: English - Date: 2015-02-22 16:16:14 Software development process Software engineering Project management Formal methods Dynamic systems development method Systems development life-cycle Scrum Unified Process Requirements analysis Software development Software Software project management

UPDATE